Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
731	Draft Typed Objects in JavaScript Nicholas D. Matsakis David Herman Add to Reading List Source URL: smallcultfollowing.com Language: English - Date: 2015-05-29 14:49:35 Data types Type theory Cross-platform software C++ Object-oriented programming Type system JavaScript Pointer Prototype-based programming Software engineering Computing Computer programming
732	Multi-stage Programming for Mainstream Languages Edwin Westbrook Mathias Ricken Jun Inoue Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-03-24 17:48:20 C++ Type theory Subroutines Data types Functional programming Eval C++ classes Type system Closure Software engineering Computing Computer programming
733	Us e of Gl obal Data i n C1 Composite: May 2008 Composite A/S Nygårdsvej 16 DK-2100 Copenhagen Add to Reading List Source URL: users.composite.net Language: English - Date: 2015-01-23 04:34:45 String C++ classes Linguistics Software engineering Computing Data types Character encoding
734	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming
735	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
736	BBM 101 – Introduc/on to Programming I Fall 2014, Lecture 13 Aykut Erdem, Erkut Erdem, Fuat Akal 1 Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-12-15 00:44:29 Computer programming Primitive types C Standard Library Computer file Inter-process communication String Pointer C Open Computing Data types Software engineering
737	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
738	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
739	Microsoft Word - NHDA_Data _Types_Feb2010.docx Add to Reading List Source URL: www.ngdc.nerc.ac.uk Language: English - Date: 2010-03-05 09:28:55 Geophysics Government procurement in the United States United States administrative law Petroleum
740	Decimal Types for C++: Fourth Draft Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-03-23 04:31:24 Software engineering Computer programming IEEE standards IEEE 754-2008 C++ Technical Report 1 C++ Decimal128 floating-point format Floating point C99 Computer arithmetic Computing Data types

UPDATE